(w32_read_socket): Set mouse_face_hidden after clearing highlight.
authorKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:17 +0000 (21:54 +0000)
committerKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:17 +0000 (21:54 +0000)
commit3dadcad1848df216980e23a00392aaf1412e021c
tree2c8be1d94ed5da94b69edea18047113e6294bd2c
parenta5f0540624d5f16de68ff66bebb22b82d9290071
(w32_read_socket): Set mouse_face_hidden after clearing highlight.
src/w32term.c